AbstractAlgebra.Generic.Frac{Nemo.QQMPolyRingElem}[r, i, s, g, mu, b0, nu, M^2, b1*x1, (M*x2)//x1]
